<header>Install documentation?</header>

If this option is chosen, any documentation that comes with the package
will be installed along with the actual program.
<hr>

